ERTSAL: A Prototype of a Domain-Specific Aspect Language for Analysis of Embedded Real-Time Systems William Sousan Victor Winter, Mansour Zand, Harvey Siy

Source URL: dsal.dcc.uchile.cl

July 8th, 2015 Lund, Sweden IMITATOR: a tool for parametric verification and robustness analysis of real-time systems

Source URL: www.control.lth.se

The Use of Real Data in Fine Arts for Insight and Discovery: Case Studies in Text Analysis Fanny Chevalier† and Sara Diamond‡ OCAD (Ontario College of Art & Design) University ABSTRACT

Source URL: www.cs.toronto.edu

Response-Time Analysis of Conditional DAG Tasks in Multiprocessor Systems Alessandra Melani, Marko Bertogna, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Giorgio Buttazzo 27th Euromicro Conference on Real-Time System

Source URL: www.control.lth.se

RFI mitigation with the time-frequency robust statistical analysis P. A. Fridman, ASTRON, Postbus 2, 7990AA, Dwingeloo, The Netherlands, email: Abstract The real sensitivity of radio astronomical statio

Source URL: www.iucaf.org

627 Documenta Math. The Harmonic Analysis of Lattice Counting on Real Spherical Spaces

Source URL: www.math.uiuc.edu

A Comprehensive Course in Analysis Part 1: Real Analysis Barry Simon Caltech

Source URL: math.caltech.edu

An Average-Case Analysis for Rate-Monotonic Multiprocessor Real-time Scheduling Andreas Karrenbauer & Thomas Rothvoß Institute of Mathematics EPFL, Lausanne

Source URL: www.math.washington.edu

c 2011 Society for Industrial and Applied Mathematics  SIAM J. IMAGING SCIENCES Vol. 4, No. 1, pp. 277–299

Source URL: www.math.purdue.edu

• Mathematical analysis
• Analysis
• Measure theory
• Bounded variation
• Calculus of variations
• Real analysis
• Norm
• Fourier analysis

NEKST VOL. 23 NO. 4 Summer 2015 NEKST-ONLINE.NL

Source URL: asset-tilburg.nl

• Mathematical analysis
• Complex analysis
• Mathematics
• Analytic number theory
• Bernhard Riemann
• Riemann zeta function
• Zeta
• Special functions
• Real analytic Eisenstein series
• Table of stars with Bayer designations